Algebraic Polymodal Logic: A Survey

نویسنده

Robert Goldblatt

چکیده

This is a review of those aspects of the theory of varieties of Boolean algebras with operators (BAO’s) that emphasise connections with modal logic and structural properties that are related to natural properties of logical systems. It begins with a survey of the duality that exists between BAO’s and relational structures, focusing on the notions of bounded morphisms, inner substructures, disjoint and bounded unions, and canonical extensions of structures that originate in the study of validity-preserving operations on Kripke frames. This duality is then applied to polymodal propositional logics having finitary intensional connectives that generalise the Box and Diamond connectives of unary modal logic. Issues discussed include validity in canonical structures, completeness and incompleteness under the relational semantics, and characterisations of logics by elementary classes of structures and by finite structures. It turns out that a logic is strongly complete for the relational semantics iff the variety of algebras it defines is complex , which means that every algebra in the variety is embeddable into a full powerset algebra that is also in the variety. A hitherto unpublished formulation and proof of this is given (Theorem 5.6.1) that applies to quasi-varieties. This is followed by an algebraic demonstration that the temporal logic of Dedekind complete linear orderings defines a complex variety, adapting Gabbay’s model-theoretic proof that this logic is strongly complete.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

PSPACE-decidability of Japaridze's polymodal logic

In this paper we prove that Japaridze’s Polymodal Logic is PSPACE-decidable. To show this, we describe a decision procedure for satisfiability on hereditarily ordered frames that can be applied to obtain upper complexity bounds for various modal logics.

متن کامل

AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC

In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...

متن کامل

The product of converse PDL and polymodal K

The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form F G such that F and G validate L1 and L2, respectively. This paper proves the decidability of the product of converse PDL and polymodal K. Decidability results for products of modal logics of knowledge as well as temporal logics and polymodal K are discussed. All those products form rather...

متن کامل

On GLP-spaces

The following is a draft collection of miscellaneous preliminary results on GLP-spaces, the natural topological models for Japaridze’s polymodal provability logic. The collection is poorly structured, lacks a proper introduction and references, and is generally not intended for publication in the current form. 1 GLP-algebras and spaces We study topological models of a system of polymodal logic ...

متن کامل